#include <stdio.h>

int main(int argc, char **argv) {
  printf("Hello world.  You have entered %d command line arguments.\n", argc);
  for(int i=0; i < argc; i++)
    printf("\t%d: %s\n", i, argv[i]);
}
